module Evol
( evolS
) where
import My
import MyData.Form
import ReadIndentedLisp
import Eval

--reader = lexAMAP .> fst .> syn
reader = ril
evolS = reader .> evolF nil -- evolS: evol from String
evolF env (A _) = return () -- evolF: evol from Form (and, of course, env)
evolF env (C f fs) = do
  let (env',f')=eval env f
  putStrLn $ pr f'
  evolF env' fs
